A Boundary Notation for Visual Mathematics
نویسندگان
چکیده
Instead of traditional mathematical notation, we can describe formal mathematical systems in visual form. While traditional notation uses a linear sequence of symbols, visual mathematics uses boundary notation, which is comprised of objects and boundaries to enclose objects. Boundary notation is abstract, decoupling the underlying mathematics of a system from its visual representation. Once a system is defined in boundary notation, visual designs can be explored that optimize specific features. We demonstrate this approach with propositional logic and elementary algebra. Visual mathematics provides a robust foundation for visual languages much as linear mathematics provides a foundation for programming languages.
منابع مشابه
Detecting the location of the boundary layers in singular perturbation problems with general linear non-local boundary conditions
Singular perturbation problems have been studied by many mathematicians. Since the approximate solutions of these problems are as the sum of internal solution (boundary layer area) and external ones, the formation or non-formation of boundary layers should be specified. This paper, investigates this issue for a singular perturbation problem including a first order differential equation with gen...
متن کاملINFINITELY MANY SOLUTIONS FOR A CLASS OF P-BIHARMONIC PROBLEMS WITH NEUMANN BOUNDARY CONDITIONS
The existence of infinitely many solutions is established for a class of nonlinear functionals involving the p-biharmonic operator with nonhomoge- neous Neumann boundary conditions. Using a recent critical-point theorem for nonsmooth functionals and under appropriate behavior of the nonlinear term and nonhomogeneous Neumann boundary conditions, we obtain the result.
متن کاملAbout One Sweep Algorithm for Solving Linear-Quadratic Optimization Problem with Unseparated Two-Point Boundary Conditions
In the paper a linear-quadratic optimization problem (LCTOR) with unseparated two-point boundary conditions is considered. To solve this problem is proposed a new sweep algorithm which increases doubles the dimension of the original system. In contrast to the well-known methods, here it refuses to solve linear matrix and nonlinear Riccati equations, since the solution of such multi-point optimi...
متن کاملRecognition of Mathematical Notation
Recognition of mathematical notation involves two main components: symbol recognition and symbol-arrangement analysis. Symbol-arrangement analysis is particularly difficult for mathematics, due to the subtle use of space in this notation. We begin with a general discussion of the mathematics-recognition problem. This is followed by a review of existing approaches to mathematics recognition, inc...
متن کامل2 8 M ar 2 01 1 Irreducible Triangulations of Surfaces with Boundary ∗
A triangulation of a surface is irreducible if no edge can be contracted to produce a triangulation of the same surface. In this paper, we investigate irreducible triangulations of surfaces with boundary. We prove that the number of vertices of an irreducible triangulation of a (possibly nonorientable) surface of genus g ≥ 0 with b ≥ 0 boundaries is O(g + b). So far, the result was known only f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1992